Exact query reformulation over databases with first-order and description logics ontologies

We study a general framework for query rewriting in the presence of an arbitrary first-order logic ontology over a database signature. The framework supports deciding the existence of a safe-range first-order equivalent reformulation of a query in terms of the database signature, and if so, it provides an effective approach to construct the reformulation based on interpolation using standard theorem proving techniques (e.g., tableau). Since the reformulation is a safe-range formula, it is effectively executable as an SQL query. At the end, we present a non-trivial application of the framework with ontologies in the very expressive ALCHOIQ description logic, by providing effective means to compute safe-range first-order exact reformulations of queries

Damage detection of structural based on indirect vibration measurement results combined with Artificial Neural Network

In Structural Health Monitoring (SHM), damage detection and maintenance are among the most critical factors. For surface damage, damage detection is simple and easy to perform. However, detecting and repairing is difficult for damage hidden deep in the structure. Using the structure's dynamic features, damage can be detected and repaired in time. With the development of sensor technology, indirect vibration measurement solutions give accurate results, minimizing errors by infinitely increasing the number of measurements. This solution offers a great opportunity to reduce the cost of structural health monitoring. Based on the large amount of data obtained from indirect monitoring, artificial intelligence technologies can be used to obtain a more comprehensive model of SHM. In this paper, the dynamic responses of the structure will be extracted and determined through a vehicle crossing the bridge. Based on the results of structural dynamic response, a finite element model is built and updated so that this model can represent the real structure. Damage cases will be analyzed and evaluated as input to train the Artificial neural network. The trained network can detect damage through regular health monitoring by indirect methods

Factors Affecting Business Performance: Expanding Theoretical Measurements

Purpose: The article aims to expand a scale system of factors that impacts on business performance.   Theoretical framework: The paper based on the empirical data collected from various types of participants, including accountants (for information providing), managers (for decision-making), sales staff (for work), and lecturers (for research) in Vietnam.   Design/methodology/approach: By descriptive and comparative statistical analysis of SPSS 20 software with 124 valid observations, the survey has proposed the scale system of influencing factors (03 groups of external factors, 05 groups of internal factors) and business performance measures (10 financial and 11 non-financial indicators).   Findings: This study points out the different evaluations according to the demographic features of survey subjects on the group of financial indicators. Specifically, the group of accountants (representing information providers) obtains a lower score than the group of information users. Likewise, the post-graduated participants show stricter assessments of financial indicators in comparison to the rest of the group.   Research, Practical & Social implications: These results suggest the scale system for measuring influencing factors toward business performance in enterprises for further research.   Originality/value: The value of the study is providing an expansion of the factors affecting the efficiency of an enterprise and points out a commonly used set of financial performance measurement indicators. Research results provide useful references for research on related issues

Relationship between clinicopathologic factors and FDG avidity in radioiodine-negative recurrent or metastatic differentiated thyroid carcinoma

BACKGROUND: In this study, we investigated the relationship between clinicopathologic factors, BRAF METHODS: From 2015 to 2018 all patients with suspected recurrent or metastatic radioiodine-negative DTC patients who underwent FDG positron emission tomography/computed tomography (PET/CT) were retrospectively reviewed. Suspected lesions on FDG PET/CT were biopsied and underwent BRAF RESULTS: Sixty-three consecutive patients, 55 (87.3%) female, with median age of 48 (range 17-81) were included. The majority of patients had BRAF CONCLUSION: The majority of recurrent or metastatic RAI-negative DTC have BRA

Состояние провоспалительного цитокинового звена у больных с нестабильной стенокарадией и сахарным диабетом 2-го типа в зависимости от функционального класса хронической сердечной недостаточности

Проанализировано состояние провоспалительного звена цитокинов у больных с нестабильной стенокардией (НС) и сопутствующим сахарным диабетом (СД) 2−го типа в зависимости от функционального класса хронической сердечной недостаточности (ХСН). Нарастание проявлений сердечной декомпенсации у больных с НС и СД 2−го типа ассоциируется с высокой активностью провоспалительного цитокинового звена, представленного фактором некроза опухолей−α и интерлейкином−6. Повышение функционального класса ХСН характеризуется увеличением инсулинорезистентности у больных с НС и СД 2−го типа.Проаналізовано стан прозапальної ланки цитокінів у хворих із нестабільною стенокардією (НС) та супутнім цукровим діабетом (ЦД) 2−го типу залежно від функціонального класу хронічної серцевої недостатності (ХСН). Наростання проявів серцевої декомпенсації у хворих із НС та СД 2−го типу асоціюється з високою активністю прозапальної цитокінової ланки, представленої фактором некрозу пухлин−α та інтерлейкіном−6. Підвищення функціонального класу ХСН характеризується зростанням інсулінорезистентності у хворих із НС та ЦД 2−го типу.The state of pro−inflammatory cytokines in patients with unstable angina (UA) and associated type 2 diabetes mellitus (DM) was analyzed depending on the functional class of chronic heart failure (CHF). The increase in manifestations of cardiac decompensation in patients with UA and type 2 DM is associated with high activity of pro−inflammatory cytokine level represented by tumor necrosis factor−β and interleukin−6. Increase of functional class of CHF is characterized by increased insulin resistance in patients with UA and type 2 DM